Formal Modeling in Context Aware Systems
نویسندگان
چکیده
Ubiquitous computing environment consists of diverse range of hardware and software entities, and is about the interactivity of such entities. Context-awareness, being an important ingredient plays a vital role in enabling such interactive smart environments. The entities and contextual information provided/utilized by them must have invariant meanings in order to have a common understanding among them. This results in sharing of information with common semantics, at different times and at different places and provides testability of formalized knowledge, emerging as a pool of consistent contextual knowledge available to different context-aware systems. In this paper, we discuss our context model for the home domain and show that how it entails implicit reasoning.
منابع مشابه
Context-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملContext - Aware Payment for Supply Chains : Software Architecture and Formal Verification
Lack of automation in supply chain payment systems is one of the missing points in the area of optimizations and can cause inefficiencies in the total performance of the chain. To overcome this problem, a new context-aware payment method is introduced in this paper, based on pervasive and ubiquitous computing technologies. The main architectural structure is inspired from the Service-Oriented C...
متن کاملSpatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: A Logic Perspective
Pervasive context-aware computing, is one of the topics that received particular attention from researchers. The context, itself is an important notion explored in many works discussing its: acquisition, definition, modelling, reasoning and more. Given the permanent evolution of context-aware systems, context modeling is still a complex task, due to the lack of an adequate, dynamic, formal and ...
متن کاملFormal Modeling and Verification of Context-Aware Systems Using Event-B
Context awareness is a computing paradigm that makes applications responsive and adaptive with their environment. Formal modeling and verification of context-aware systems are challenging issues in the development as they are complex and uncertain. In this paper, we propose an approach to use a formal method Event-B to model and verify such systems. First, we specify a context aware system’s co...
متن کاملFormal Models for Context Aware Computing
Context-aware computing refers to a general class of mobile systems that can sense their physical environment, and adapt their behavior accordingly. In this paper we seek to develop a systematic understanding of context-aware computing by constructing a formal model and notation for expressing context-aware computations. This discussion is followed by a description and comparison of current con...
متن کاملContext-aware systems: concept, functions and applications in digital libraries
Background and Aim Among the places that context-aware systems and services would be very useful, are libraries. The purpose of this study is to achieve a coherent definition of context aware systems and applications, especially in digital libraries. Method: This was a review article that was conducted by using Library method by searching articles and e-books on websites and databases. Results:...
متن کامل